Theorem prover - PDFSEARCH.IO - Document Search Engine

Theorem prover
Results: 85

#	Item
41	Dynamic Binary Analysis and Instrumentation Covering a function using a DSE approach Jonathan Salwan Security Day Lille – France Add to Reading List Source URL: www.quarkslab.com Language: English - Date: 2015-01-20 04:16:23 Profilers Software Pin Instrumentation KeY Theorem prover Computer programming Computing Software optimization
42	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Structure Lattice theory Algebraic structures Distributive lattice Complete Heyting algebra Duality Join and meet Lattice Partially ordered set Order theory Mathematics Abstract algebra
43	Andrius Velykis School of Computing Science Newcastle University, UK FM2012 Doctoral Symposium Paris, 27 August 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematical logic Isabelle Mathematical proof SPARK Theorem prover Theorem Logic Mathematics Computing
44	Verifying Z Specifications with Z/Eves AI4FM kick-off meeting talk Andrius Velykis PhD student at Newcastle University, AI4FM project Supervised by Prof Cliff Jones Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Oxford University Computing Laboratory Z notation Eves First-order logic Zermelo–Fraenkel set theory Formal specification Metalogic Theorem prover Mathematical logic Formal methods Logic
45	Andrius Velykis School of Computing Science Newcastle University, UK with contributions from AI4FM members AI meets Formal Software Development Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Proof assistant Theorem prover Isabelle Theorem Mathematical proof Logic Mathematics Automated theorem proving
46	Isabelle Supports Rodin Matthias Schmalz Information Security Group, ETH Zurich April 28th, 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Applied mathematics Formal methods Isabelle Logic for Computable Functions HOL B-Method Vampire Rodin Theorem prover Theoretical computer science Mathematical software Logic in computer science
47	Finding Loop Invariants for Programs over Arrays Using a Theorem Prover ? Laura Kov´acs1 and Andrei Voronkov2 2 1 Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2010-02-15 09:12:21 Control flow First-order logic FO IP Resolution Assignment Foreach loop Variable Loop counter Mathematics Logic Software engineering
48	First-Order Theorem Proving and VAMPIRE? Laura Kov´acs1 and Andrei Voronkov2 1 Chalmers University of Technology 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-05-02 16:51:41 Logical syntax Automated theorem proving Formal languages Formal methods Vampire Resolution Conjunctive normal form E theorem prover First-order logic Logic Mathematics Mathematical logic
49	Yet Another Theorem Prover in Distress Thierry Lecomte ClearSy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Software Formal methods Theorem prover Automated theorem proving Theoretical computer science
50	My Life with an Automatic Theorem Prover Jasmin Christian Blanchette Technische Universität München, Germany Abstract Sledgehammer integrates third-party automatic theorem provers in the proof assistant Isabelle/HOL. I Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2014-06-02 12:21:13 Mathematics Logic in computer science Formal methods Mathematical logic E theorem prover Isabelle Vampire Automated reasoning Proof assistant Theoretical computer science Applied mathematics Automated theorem proving